Browsing by Subject "Process algebras"
Now showing items 1-2 of 2
-
Article
Modeling and analysis of power-aware systems
(2003)The paper describes a formal approach for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating ...
-
Conference Object
On the application of formal methods for specifying and verifying distributed protocols
(2008)In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the two experiences we evaluate the approaches and ...